Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 12.Ident. | Authors (with country if any) | Title |
---|---|---|
007999 | Olivier Bournez [France] ; Mathieu Hoyrup [France] | Rewriting Logic and Probabilities |
009206 | Vincent D. Blondel [Belgique] ; Olivier Bournez [France] ; Pascal Koiran [France] ; Christos H. Papadimitriou [États-Unis] ; John N. Tsitsiklis [États-Unis] | Deciding stability and mortality of piecewise affine dynamical systems |
009264 | Vincent D. Blondel [Belgique] ; Olivier Bournez [France] ; Pascal Koiran [France] ; John N. Tsitsiklis | The Stability of Saturated Linear Dynamical Systems Is Undecidable |
009E15 | Vincent D. Blondel [Belgique] ; Olivier Bournez [France] ; Pascal Koiran [France] ; John N. Tsitsiklis [États-Unis] | The Stability of Saturated Linear Dynamical Systems Is Undecidable |
009E56 | Olivier Bournez [France] ; Oded Maler [France] | On the Representation of Timed Polyhedra |
009F33 | Eugene Asarin [France] ; Olivier Bournez [France] ; Thao Dang [France] ; Oded Maler [France] | Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems |
009F95 | Eugene Asarin [France] ; Olivier Bournez [France] ; THAO DANG [France] ; Oded Maler [France] ; Amir Pnueli [Israël] | Effective synthesis of switching controllers for linear systems |
00A173 | Olivier Bournez [France] ; Oded Maler [France] | On the representation of timed polyhedra |
00A232 | Eugène Asarin [France] ; Olivier Bournez [France] ; Thao Dang [France] ; Oded Maler [France] ; Amir Pnueli [France] | Effective Synthesis of Switching Controllers for Linear Systems |
00A271 | Eugène Asarin [France] ; Olivier Bournez [France] ; Thao Dang [France] ; Oded Maler [France] | Approximate reachability analysis of piecewise-linear dynamical systems |
00AC63 | Olivier Bournez [France] ; Oded Maler [France] ; Amir Pnueli [France] | Orthogonal Polyhedra: Representation and Computation |
00AE93 | Patrick Gros [France] ; Olivier Bournez [France] ; Edmond Boyer [France] | Using geometric quasi-invariants to match and model images of line segments |
This area was generated with Dilib version V0.6.33. |